Modal definability in enriched languages.
نویسندگان
چکیده
منابع مشابه
Modal Definability in Enriched Languages
The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in th...
متن کاملModal languages for topology: Expressivity and definability
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language Lt.
متن کاملModal Sequents and Definability
We examine a certain modal consequence relation, and define the notion of validity of a modal sequent on a frame. We demonstrate that it is possible to define classes of frames. not definable by modal formulas, by modal sequents. Through the use of modal algebras and general frames, we obtain a characterization of modal sequent-definable classes of frames which are also first-order definable, a...
متن کاملPrefixed Tableaux Systems for Modal Logics with Enriched Languages
We present sound and complete prefixed tableaux systems for various modal logics with enriched languages including the "difference" modal operator ] and the "only if" modal operator [—R]. These logics are of special interest in Art i f icial Intelligence since their expressive power is higher than the standard modal logics and for most of them the satisfiability problem remains decidable. We al...
متن کاملA generalization of modal definability
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1989
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635335